DECIDING TOGETHER
نویسندگان
چکیده
منابع مشابه
Moral Compromise and Personal Integrity: Exploring the Ethical Issues of Deciding Together in Organizations
In this paper 1 explore the topic of moral compromise in Institutional settings and highlight how moral compromise may affirm, rather than undermine, personal integrity. Central to this relationship between moral compromise and integrity is a view of the self that is responsive to multiple commitments and grounded in an ethic of responsibility. 1 elaborate a number of virtues that are related t...
متن کاملDeciding absorption
We characterize absorption in finite idempotent algebras by means of Jónsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations.
متن کاملDeciding Hyperproperties
Hyperproperties, like observational determinism or symmetry, cannot be expressed as properties of individual computation traces, because they describe a relation between multiple computation traces. HyperLTL is a temporal logic that captures such relations through trace variables, which are introduced through existential and universal trace quantifiers and can be used to refer to multiple compu...
متن کاملDeciding on a Pattern
Object-oriented software patterns account for knowledge regarding a solution to a programming problem in a context. Software patterns are increasingly popular and consequently their numbers are growing. Under these circumstances, it is a challenge for the pattern user to decide on which patterns to incorporate into their design. In this paper, we describe a pattern decision analysis approach th...
متن کاملDeciding ALBO with Tableau
This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. In particular, we de ne a sound and complete tableau calculus for the description logic ALBO and show that it provides a basis for decision procedures for this logic and numerous other description logics. ALBO is the extension o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: REI - REVISTA ESTUDOS INSTITUCIONAIS
سال: 2016
ISSN: 2447-5467
DOI: 10.21783/rei.v1i1.10